激光快速成型TC4合金显微组织及力学性能

采用金相显微镜、扫描电镜、电子拉伸机等，研究了激光快速成型TC4合金沉积态在平行沉积方向和垂直沉积方向的组织和力学性能.结果表明:激光快速成型TC4合金沉积态宏观组织沿沉积方向生长的粗大β柱状晶呈明暗相间的条带状结构，具备典型的魏氏组织特征;垂直沉积方向的强度比平行沉积方向的强度高，但塑性低;合金断口为韧窝状断口，垂直沉积方向的断口韧窝尺寸比平行沉积方向的小.     

2005～2017年快速城市化背景下洱海流域不透水表面时空格局分析

近年来随着我国经济建设的不断加快以及城市化的快速发展,工业和人口的大规模聚集造成了不透水表面的快速扩张,这对城市生态环境产生了严重的影响。作为城市化水平的关键指示因子,不透水表面已经被广泛应用在城市生态环境评估中。为了定量的分析洱海流域不透水表面拓展的时空动态特征规律,本文以大理市所在的洱海流域为研究对象,利用2005年至2017年的大理市Landsat 5、Landsat 8遥感影像,提取归一化水体指数(MNDWI)和归一化差值不透水表面指数(NDISI)对洱海流域的城市、道路进行空间分析并提取出不透水表面信息进行空间格局分析。研究结果表明：2005~2017年间,随着城市化的快速发展,洱海流域的植被覆盖率和水体等自然地物覆盖率处于下降状态,而不透水覆盖率从11.6%上升到19.8%,呈现快速持续上升趋势。由洱海水质和其流域内不透水覆盖率线性拟合结果可以得到两者具有一定的负相关性。可以预见洱海水质未来发展中随着不透水覆盖率的增长而下降。因此,在城市发展的同时,应该注重对洱海的综合治理,不能任水质自行调节。本研究结果为洱海流域内城市规划管理和流域(水)环境治理提供参考信息,具有重要的现实意义。     

基于RL&SM通用夹具系统的主动寻位技术及其实现方法

介绍了RL&SM通用夹具的寻位系统 ,描述了主动寻位与制造信息转换问题 ,提出和实现了相应的控制方法及其系统实现中的关键技术。理论分析与实验结果表明 ,提出的解决方法和技术是可行的 ,为RL&SM通用夹具系统的实际应用奠定了理论基础和技术支持     

支持虚拟样机的协同仿真平台关键技术研究

为了支持虚拟样机开发环境中不同领域，分布，异构的仿真系统间的信息共享和互操作，提高协同仿真平台的可扩展性和灵活性，提出了灵巧产品模型建模，协同仿真资源库集成管理方案和协同环境运行框架，并具体说明了基于DCOM的仿真工具协同的关键实现技术，支持仿真联邦管理的数据库设计和CORBA的应用实现技术，通过轿车虚拟开发的初步应用实践，基于上述研究所开发的平台能有效支持复杂产品的虚拟开发。     

PowerBuilder下招标管理系统的设计与实现

阐述了用 Power Builder开发招标管理系统的设计方法与实现方案 ,并对 ODBC数据库的动态注册及数据的安全性、完整性作了较为详细地分析     

阶段原型法及其支持环境

本文介绍了阶段原型法(SPA)及其支持环境(PEMIS)的总体结构和主要功能,探讨了知识库和推理机制在循环控制中的作用,以及软件重用技术、图形接口技术和应用生成技术等实现技术。     

语言符号任意性和象似性的辨证关系

文章运用自组织理论和原型理论对语言符号任意性和象似性的关系进行分析,指出语言符号的任意性和象似性的关系是辨证的,两者看似相对,实则相辅,它们存在于一个整体之中。对语言符号任意性和象似性辨证关系的认识,在英语教学中有着重要的实用价值。     

时态范畴化的认知语言学研究——以现代法语时态为例

本文在认知语言学的视野内、在原型范畴理论的参照下,详细考察了法语时态范畴化的一些基本特征,指出其所具有的原型性、延续性和边界模糊性,以期对法语时态的教学提供帮助。最后笔者也提出了对原型范畴理论所存在的问题的一些思考。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

基于层面信息的路径优化

根据分层物体快速成型（LOM）中零件逐层累积的特点，从缩短加工时间、提高制件效率方面着手阐述了路径优化的必要性，针对LOM机的运动机理和软件数据结构，给出了扫描路径优化的原理，将图论中的便宜算法用于LOM机的扫描路径优化。